Not enough search parameters. I'm using defaults.
You have chosen search in content of rpms.
Display 41 - 54 hits of 54. Search took 0.01 seconds.
| Fedora 32 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/testing/32/Everything/x86_64/Packages/y/yices-2.6.2-1.fc32.i686.rpm |
| Fedora 31 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/31/Everything/x86_64/os/Packages/y/yices-2.6.1-3.fc31.x86_64.rpm |
| Fedora 31 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/31/Everything/x86_64/os/Packages/y/yices-2.6.1-3.fc31.i686.rpm |
| Fedora 30 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/30/Everything/x86_64/os/Packages/y/yices-2.6.1-2.fc30.x86_64.rpm |
| Fedora 30 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/30/Everything/i386/os/Packages/y/yices-2.6.1-2.fc30.i686.rpm |
| Fedora 30 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/30/Everything/x86_64/os/Packages/y/yices-2.6.1-2.fc30.i686.rpm |
| Fedora 29 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/29/Everything/x86_64/Packages/y/yices-2.6.1-1.fc29.x86_64.rpm |
| Fedora 29 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/updates/29/Everything/i386/Packages/y/yices-2.6.1-1.fc29.i686.rpm |
| Fedora 29 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/29/Everything/x86_64/Packages/y/yices-2.6.1-1.fc29.i686.rpm |
| Fedora 29 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/29/Everything/x86_64/os/Packages/y/yices-2.6.0-2.fc29.x86_64.rpm |
| Fedora 29 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/29/Everything/i386/os/Packages/y/yices-2.6.0-2.fc29.i686.rpm |
| Fedora 29 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/29/Everything/x86_64/os/Packages/y/yices-2.6.0-2.fc29.i686.rpm |
| OpenSuSE | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/geewass:/pharos/15.4/x86_64/libyices2_6-2.6.4-lp154.4.3.x86_64.rpm |
| openSUSE Tumbleweed | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/geewass:/pharos/openSUSE_Tumbleweed/x86_64/libyices2_6-2.6.4-4.256.x86_64.rpm |
